ma-ef-const(M;k;x;s;v) == E != (M.2.2.2.2).1(<k, x>)  constant_function(E(s,v);;M.ds(x)) 

latex

---

clarification:

ma-ef-const(M;k;x;s;v)
== fpf-val(product-deq(Knd;Id;KindDeq;IdDeq);
== fpf-val(((M.2.2.2.2).1);
== fpf-val(<k, x>;
== fpf-val(kx,E.constant_function(E(s,v);;M.ds(x))) 

latex

Definitions	z != f(x)  P(a;z), product-deq(A;B;a;b), Knd, Id, KindDeq, IdDeq, t.1, t.2, <a, b>, constant_function(f;A;B), f(a), , M.ds(x)
FDL editor aliases	ma-ef-const